例句與造句

1. The weakest such axiom studied in reverse mathematics is " recursive comprehension ", which states that the powerset of the naturals is closed under Turing reducibility.
2. The initials " RCA " stand for " recursive comprehension axiom ", where " recursive " means " computable ", as in constructivism because it is a theory in classical logic including the law of excluded middle.
3. It's difficult to find recursive comprehension in a sentence. 用recursive comprehension造句挺難的